ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

Source URL: homes.cs.washington.edu

• Data types
• Type theory
• Java
• Concurrent programming languages
• Object-oriented programming languages
• Immutable object
• Const
• Final
• Subtyping
• Scala
• Type qualifier
• Takes

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

888: LLVM Week 4 - LLVM-IR II Tobias Grosser Last week problem - Sum

Source URL: grosser.es

• Software engineering
• Computing
• Computer programming
• Data types
• C
• LLVM
• Pointer
• Increment and decrement operators
• Struct
• Array data type
• D
• C++ classes

(a) Data association in images = matching In matching which forms an integral part of all types of tracking and geometrical vision, the aim F F F

Source URL: margaritachli.com

Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1

Source URL: www.it.uu.se

• Software engineering
• Computing
• Computer programming
• Type theory
• Concurrent programming languages
• Type systems
• Functional languages
• Data types
• Erlang
• Type inference
• Scala
• HindleyMilner type system

QVIZ the Query and context based visualization of time-spatial cultural dynamics Faceted query The faceted query sorts different types of data associated with archival resources into logical groups or topics. This data,

Source URL: qviz.eu

Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface Régis Blanc Viktor Kuncak ∗

Source URL: lara.epfl.ch

CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)

Source URL: www.ietf.org

• Procedural programming languages
• Cross-platform software
• Data types
• C
• Enumerated type
• Type theory
• Struct
• Abstract Syntax Notation One
• D
• Binary star
• ALGOL 68
• Binary code

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Semantics
• Heap
• Predicate
• Immutable object
• Separation logic
• First-order logic
• Control
• FO